4.2 جستجوی پیشرو

یکی از ساده ترین الگوریتم های طراحی به نام الگوریتم جستجوی پیشرو می باشد که در شکل 4.1 نشان داده شده است. این الگوریتم به صورت غیر قطعی می باشد (ضمیمه A را مشاهده کنید). آن به صورت داده P = (O, so, g) از مشکلات برنامه ریزی 7:' می باشد. اگر 7:' قابل حل باشد، به این ترتیب جستجوی پیشرو (O, so, g) طرح راه حل را برگشت می دهد؛ به عبارت دیگر نقص ها بر می گردند. طرح برگشتی توسط هر یک از دستورات برگشتی الگوریتم به نام راه حل نیمه تمام می باشد زیرا آن به عنوان بخشی از راه حل نهایی برگشتی توسط دستورات سطح بالا می باشد. ما از اصطلاح راه حل بخشی با مفهوم مشابه توسط دستورات سطح بالا استفاده می کنیم. اگرچه ما جستجوهای بعدی را برای کار کردن بر روی مشکلات برنامه ریزی کلاسیک مد نظر قرار می دهیم، ایده مشابهی مد نظر قرار می گیرد تا بر روی مشکلات برنامه ریزی کار کنیم که بتوانیم 1) محاسبه کنیم که آیا یک حالت بر مبنای حالت هدف می باشد یا خیر، 2) مجموعه تمام فعالیت های کاربردی برای یک حالت را مد نظر قرار دهیم و 3) به محاسبه حالت جایگزین که در نتیجه بکارگیری یک عمل نسبت به حالت می باشد، بپردازیم.